\begin{tabbing}
ecl{-}add{-}throw($A$; $m$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$spreadn(\=$A$;\+
\\[0ex]${\it Ta}$,${\it ksa}$,${\it ia}$,${\it ga}$,${\it ha}$,${\it aa}$,${\it ea}$.$<$${\it Ta}$
\\[0ex], ${\it ksa}$
\\[0ex], ${\it ia}$
\\[0ex], ${\it ga}$
\\[0ex], $\lambda$$n$,$x$. if ($n$ =$_{0}$ $m$)
\\[0ex]then bor((${\it ha}$(0,$x$)); (${\it ha}$($n$,$x$)))
\\[0ex]else band(0 $<$z $n$; (${\it ha}$($n$,$x$)))
\\[0ex]fi 
\\[0ex], ${\it aa}$
\\[0ex], if ($m$ =$_{0}$ 0) then ${\it ea}$ else s{-}insert($m$; ${\it ea}$) fi $>$)
\-
\end{tabbing}